prove (ab) inverse = b inverse a inverse